Browse by Keywords - F

Select the first letter of the keywords to browse

There are 3 record/s using the keyword/s: functional programming.

View 25 / 50 / ALL records per page.

TitleDateCreatorPublication TypeInstitution
A Generalization of Short-Cut Fusion and Its Correctness Proof2002Johann, Patricia FacultyComputer Science, ASU
Refining Inductive Types2012Johann, Patricia FacultyComputer Science, ASU
Towards Formalizing Parametricity For Nested Types In Agda2021Jeffries, Daniel StudentComputer Science - Student, ASU